Reconfiguring Graph Colorings

Graph coloring has been studied for a long time and continues to receive interest within the research community [43]. It has applications in scheduling [46], timetables, and compiler register allocation [45]. The most popular variant of graph coloring, k-coloring, can be thought of as an assignment of k colors to the vertices of a graph such that adjacent vertices are assigned different colors. Reconfiguration problems, typically defined on the solution space of search problems, broadly ask whether one solution can be transformed to another solution using step-by-step transformations, when constrained to one or more specific transformation steps [55]. One well-studied reconfiguration problem is the problem of deciding whether one k-coloring can be transformed to another k-coloring by changing the color of one vertex at a time, while always maintaining a k-coloring at each step. We consider two variants of graph coloring: acyclic coloring and equitable coloring, and their corresponding reconfiguration problems. A k-acyclic coloring is a k-coloring where there are more than two colors used by the vertices of each cycle, and a k-equitable coloring is a k-coloring such that each color class, which is defined as the set of all vertices with a particular color, is nearly the same size as all others. We show that reconfiguration of acyclic colorings is PSPACE-hard, and that for nonbipartite graphs with chromatic number 3 there exist two k-acyclic colorings fs and fe such that there is no sequence of transformations that can transform fs to fe. We also consider the problem of whether two k-acyclic colorings can be transformed to each other in at most ` steps, and show that it is in XP, which is the class of algorithms that run in time O(n) for some computable function f and parameter k, where in this case the parameter is defined to be the length of the reconfiguration sequence plus the length of the longest induced cycle. We also show that the reconfiguration of equitable colorings is PSPACE-hard and W[1]hard with respect to the number of vertices with the same color. We give polynomial-time algorithms for Reconfiguration of Equitable Colorings when the number of colors used is two and also for paths when the number of colors used is three.